منابع مشابه
Coherence for Skew-Monoidal Categories
We motivate a variation (due to K. Szlachányi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be formulated differently than in the well-known monoidal case. In my (to my knowledge new) version it becomes a statement of uniqueness of normalizing rewrites. We presen...
متن کاملCoherence in monoidal track categories
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملCoherence for monoidal endofunctors
The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be an isomorphism. These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. In the later parts of the p...
متن کاملMonoidal Model Categories
A monoidal model category is a model category with a closed monoidal structure which is compatible with the model structure. Given a monoidal model category, we consider the homotopy theory of modules over a given monoid and the homotopy theory of monoids. We make minimal assumptions on our model categories; our results therefore are more general, yet weaker, than the results of [SS97]. In part...
متن کاملTraced pre-monoidal categories
Motivated by some examples from functional programming, we propose a generalisation of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that, in a Freyd category, these notions are equivalent, generalising a well-known theorem of Hasegawa and Hyland.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.153.5